There is no reverse derivation mode for discrete derivatives
نویسنده
چکیده
In the straight-line program model, it is known that computing all partial derivatives of a single polynomial induces only a constant increase in complexity, using the reverse derivation mode. We show that no such result holds for shifts, divided differences, q-shifts or q-divided differences.
منابع مشابه
Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملOn the discrete adjoints of adaptive time stepping algorithms
We investigate the behavior of adaptive time stepping numerical algorithms under the reverse mode of automatic differentiation (AD). By differentiating the time step controller and the error estimator of the original algorithm, reverse mode AD generates spurious adjoint derivatives of the time steps. The resulting discrete adjoint models become inconsistent with the adjoint ODE, and yield incor...
متن کاملGeneralized sigma-derivation on Banach algebras
Let $mathcal{A}$ be a Banach algebra and $mathcal{M}$ be a Banach $mathcal{A}$-bimodule. We say that a linear mapping $delta:mathcal{A} rightarrow mathcal{M}$ is a generalized $sigma$-derivation whenever there exists a $sigma$-derivation $d:mathcal{A} rightarrow mathcal{M}$ such that $delta(ab) = delta(a)sigma(b) + sigma(a)d(b)$, for all $a,b in mathcal{A}$. Giving some facts concerning general...
متن کاملWavelet Based Estimation of the Derivatives of a Density for a Discrete-Time Stochastic Process: Lp-Losses
We propose a method of estimation of the derivatives of probability density based on wavelets methods for a sequence of random variables with a common one-dimensional probability density function and obtain an upper bound on Lp-losses for such estimators. We suppose that the process is strongly mixing and we show that the rate of convergence essentially depends on the behavior of a special quad...
متن کاملRegularity of Bounded Tri-Linear Maps and the Fourth Adjoint of a Tri-Derivation
In this Article, we give a simple criterion for the regularity of a tri-linear mapping. We provide if f : X × Y × Z −→ W is a bounded tri-linear mapping and h : W −→ S is a bounded linear mapping, then f is regular if and only if hof is regular. We also shall give some necessary and sufficient conditions such that the fourth adjoint D^∗∗∗∗ of a tri-derivation D is again tri-derivation.
متن کامل